#include <stdio.h>
void f(void);
int x=15213;
int main()
{
  f();
  printf("x=%d\n",x);
  return 0;
}
int x;
void f()
{
  x=15212;
}

